Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
261	A Meta-Theory of Boundary Detection Benchmarks Xiaodi Hou Computation and Neural Systems, Caltech Add to Reading List Source URL: www.houxiaodi.com Language: English
262	LEARNING LARGE-ALPHABET AND ANALOG CIRCUITS WITH VALUE INJECTION QUERIES Dana Angluin1 James Aspnes1 Jiang Chen2 Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2010-09-09 14:03:20 Computational complexity theory Theory of computation Theoretical computer science Circuit complexity Complexity classes Clique problem Boolean circuit ACC0 Clique Circuit NC
263	MCS 441 – Theory of Computation I Spring 2013 Problem Set 5 Lev Reyzin Due: at the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2013-02-20 13:41:23
264	Introduction to Algorithms Massachusetts Institute of Technology Professors Erik Demaine, Piotr Indyk, and Manolis Kellis May 19, Spring 2011 Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-09-27 14:14:46 Computational complexity theory Mathematics Theory of computation Analysis of algorithms Operations research Asymptotic analysis Combinatorial optimization Dynamic programming Master theorem Big O notation Knapsack problem Time complexity
265	Submitted to ACM Autonomous Agents 99 A Synthetic Agent System for Bayesian Modeling Human Interactions Barbara Rosario, Nuria Oliver and Alex Pentland Vision and Modeling. Media Laboratory MIT, Add to Reading List Source URL: www.nuriaoliver.com Language: English - Date: 2016-02-16 11:07:15 Complex systems theory Simulation Scientific modeling Multi-agent systems Systems science Models of computation Academia Behavior Agent-based model Agent
266	Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16 Software engineering Theoretical computer science Theory of computation Turing machine Computability theory Formal methods Models of computation Standard ML
267	Dana Angluin1, James Aspnes1, Jiang Chen2, David Eisenstat, Lev Reyzin1 1Yale University 2Yahoo! Inc. COLT 2008 Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2010-09-09 14:03:21 Computational complexity theory Theory of computation Theoretical computer science Circuit complexity Complexity classes Boolean circuit NC PP ACC0 Circuit FO
268	V22: Honors Theory of Computation Problem Set 5 Due Dec 9, 2005 All problems are worth 10 points. Problem 1 Add to Reading List Source URL: ftp.cs.nyu.edu Language: English - Date: 2010-11-11 11:05:51
269	A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:56:59 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Models of computation Logic in computer science Substitution Structure Model theory Parity of a permutation
270	Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-11-27 11:35:14 Logic Mathematical logic Mathematics Model theory Logic in computer science Lambda calculus Models of computation Type theory Combinatory logic Theorem Structure Interpretation

UPDATE